🧠 Computational LogicResolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability